1. Industrial use of formal methods
Author: edited by Jean-Louis Boulanger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation.,Computer software-- Verification.,Formal methods (Computer science),Nondestructive testing.,Systems engineering-- Data processing.
Classification :
TA168
.
I45
2012eb
